Egon Börger (eds.): tražiti na sajtu Z-Library

Slobodan pristup znanju i kulturi.

Don't use scam websites

Knjige (32)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)

Godina:

1993

Jezik:

english

Fajl:

DJVU, 2.95 MB

0 / 0

english, 1993

2

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 13.05 MB

0 / 0

english, 2007

3

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)

Godina:

1984

Jezik:

english

Fajl:

PDF, 5.49 MB

0 / 0

english, 1984

4

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 4.61 MB

0 / 0

english, 2009

5

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 8.81 MB

0 / 0

english, 2012

6

S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Christian Stary (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 7.80 MB

0 / 0

english, 2012

7

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Branislav Rovan (eds.)

Godina:

1990

Jezik:

english

Fajl:

DJVU, 5.86 MB

0 / 0

english, 1990

8

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Godina:

1994

Jezik:

english

Fajl:

DJVU, 2.87 MB

0 / 0

english, 1994

9

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 4.56 MB

0 / 0

english, 2009

10

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

Godina:

1996

Jezik:

english

Fajl:

DJVU, 4.81 MB

0 / 0

english, 1996

11

Architecture Design and Validation Methods

Architecture Design and Validation Methods

Springer-Verlag Berlin Heidelberg

Raul Camposano, Andrew Seawright, Joseph Buck (auth.), Prof. Dr. Egon Börger (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 9.56 MB

0 / 0

english, 2000

12

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.), Dieter Rödding (eds.)

Godina:

1986

Jezik:

german

Fajl:

PDF, 14.79 MB

0 / 0

german, 1986

13

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 10.60 MB

0 / 0

english, 2012

14

Computation Theory and Logic

Computation Theory and Logic

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger (eds.)

Godina:

1987

Jezik:

english

Fajl:

DJVU, 4.50 MB

0 / 0

english, 1987

15

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.), Dieter Rödding (eds.)

Godina:

1985

Jezik:

german

Fajl:

PDF, 11.12 MB

0 / 0

german, 1985

16

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 4.83 MB

0 / 0

english, 2008

17

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 3.95 MB

0 / 0

english, 2008

18

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 7.55 MB

0 / 0

english, 2012

19

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 3.24 MB

0 / 0

english, 2008

20

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.)

Godina:

1991

Jezik:

english

Fajl:

DJVU, 3.67 MB

0 / 0

english, 1991

21

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)

Godina:

1999

Jezik:

english

Fajl:

PDF, 21.62 MB

0 / 0

english, 1999

22

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 3.93 MB

0 / 0

english, 2003

23

Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Springer Berlin Heidelberg

Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 3.80 MB

0 / 0

english, 2000

24

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 4.24 MB

0 / 0

english, 2008

25

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 24.27 MB

0 / 0

english, 2003

26

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Godina:

1988

Jezik:

english

Fajl:

DJVU, 3.20 MB

0 / 0

english, 1988

27

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Godina:

1990

Jezik:

english

Fajl:

DJVU, 4.21 MB

0 / 0

english, 1990

28

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 6.61 MB

0 / 0

english, 2012

29

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 7.30 MB

0 / 0

english, 2008

30

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Godina:

1989

Jezik:

english

Fajl:

DJVU, 2.87 MB

0 / 0

english, 1989

31

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 6.43 MB

0 / 0

english, 2008

32

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Yaniv Bargury, Johann Makowsky (auth.), Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.)

Godina:

1992

Jezik:

english

Fajl:

DJVU, 3.80 MB

0 / 0

english, 1992